国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >Formal testing of systems presenting soft and hard deadlines
【2h】

Formal testing of systems presenting soft and hard deadlines

機譯：對系統(tǒng)進(jìn)行正式測試，以顯示軟性和硬性期限

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請知悉。
  • 摘要
  • 著錄項
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. It is this characteristic (to formally define sometimes) what produces several reasonable alternatives to define appropriate implementation relations, that is, relations to decide wether an implementation is correct with respect to a specification. In addition to introduce these relations, we define a testing framework to test implementations.\ud\ud
機譯：我們提供了一個正式的框架來指定和測試同時顯示軟性和硬性期限的系統(tǒng)。盡管必須始終按時滿足硬性截止日期，但有時可以在與指定的時間不同的時間（通常更高）上滿足軟性截止時間。正是這種特性（有時會正式定義）產(chǎn)生了幾種合理的選擇來定義適當(dāng)?shù)膶崿F(xiàn)關(guān)系，即，決定一個實現(xiàn)相對于規(guī)范是否正確的關(guān)系。除了介紹這些關(guān)系之外，我們還定義了一個測試框架來測試實現(xiàn)。\ ud \ ud

著錄項

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號